#include<stdio.h>
int main()
{
    long long x,n;
    scanf("%lld%lld",&x,&n);
    if(x>=1&&x<=5)
    {
        if(n<6-x+1)
        {
            printf("%lld",250*n);
        }
        else if(n==6-x+1)
        {
            printf("%lld",250*(n-1));
        }
        else
        {
            long long m = n-(7-x+1);
            if((m%7<6))
            {
                printf("%lld",m/7*5*250+(7-x+1-2)*250+m%7*250);
            }  
            else
            {
                printf("%lld",m/7*5*250+(7-x+1-2)*250+(m%7-1)*250);
            }
        }
    }
    else if(x==6)
    {
        if(n==1)
        {
            printf("0");
        }
        else
        {
            long long m = n-2;
            if(m%7<6)
            {
                printf("%lld",m/7*5*250+m%7*250);
            }
            else
            {
                printf("%lld",m/7*5*250+(m%7-1)*250);
            }
        }
    }
    else
    {
        if(n==1)
        {
            printf("0");
        }
        else
        {
            long long m = n-1;
            if(m%7<6)
            {
                printf("%lld",m/7*5*250+m%7*250);
            }
            else
            {
                printf("%lld",m/7*5*250+(m%7-1)*250);
            }
        }
    }
    return 0;
}